#include "platform.h"
#include "xparameters.h"
#include "xil_cache.h"

void init_platform()
{
    // 初始化缓存
    Xil_DCacheEnable();
    Xil_ICacheEnable();
}

void cleanup_platform()
{
    // 清理，通常在程序结束前调用
    Xil_DCacheDisable();
    Xil_ICacheDisable();
}
